/************************************************************************
 *				SRLOS Team CopyRight
 *@file		os_config.h
 *@author	bloceanc
 *@date		7/12/2010
 *@note		OS global configuration
 ************************************************************************/
 
#ifndef	_OS_CONFIG_
#define	_OS_CONFIG_

#define	K_CONFIG_SDRAM_START_PHYADDR	0x30000000	// dram physical start address


// os kernel initialized physical memory page count
#define	K_CONFIG_OS_MEM_INIT_PAGE_COUNT	0x400		// 4M used 1K physical pages
// os kernel memory space size.here can't include I/O mapping. because I/O address can't mapping to 
// physical SDRAM!!!!this value just the kernel memory space.it limited the memory size of the kernel!
#define	K_CONFIG_OS_MEM_SPACE_SIZE		512			// 512M (in MBs)
// process hole virtual page count, os space included
//#define	K_CONFIG_OS_MEM_VIRPAGEABOVEALL	0x100000	// 1M * 4K = 4G. 4G virtual memory space

#define	K_CONFIG_USR_VIR_MEM_START		0x40000000	// 1G

#define	K_CONFIG_USR_MAIN_THREAD_STACK_SIZE	0x2000	// 8KB

#endif	/* _OS_CONFIG_ */
